문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 명제 논리 (문단 편집) == 논리적 [[동치]] == 표준 명제 논리에서 문장 [math(\phi)]와 [math(\psi)]가 논리적 [[동치]]인 것의 [[필요충분조건]]은 다음과 같다: * [[의미론]]/모형이론적 규정: [math(\phi \leftrightarrow \psi)]이 타당함(i.e. 모든 모형에서 참임). * [[구문론]]/증명이론적 규정: [math(\phi \vdash \psi,\, \psi \vdash \phi)] 명제 논리에서 도출되는 대표적인 논리적 동치 사례들을 참조하기 위해선 [[동치#s-2.2|해당 링크 참조]]저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기